1. Foundational Studies
پدیدآورنده : \ Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.].
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mostowski, Andrzej-- Bibliography.,Logic, Symbolic and mathematical.
رده :
QA9
.
M7554
E-book
,
2. Foundational studies
پدیدآورنده : / Andrzej Mostowski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA9
،.
M68
1979
3. Foundational studies : selected works
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Collected works,، Mostowski, Andrzej-- Bibliography
رده :
QA
9
.
M7554
4. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
5. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
6. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
B
28
.
F5
.
A3
Fasc
.
17